Mathematical logic

Results: 6679



#Item
761Philosophers of mathematics / Analytic philosophers / Mathematical logic / Epistemology / Foundations of mathematics / Paul Benacerraf / Intuitionism / Gottlob Frege / Logicism / Mathematics / Philosophy / Philosophy of mathematics

The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach

Add to Reading List

Source URL: ucalgary.ca

Language: English - Date: 2008-10-27 16:48:35
762Peano axioms / Logic / Philosophy of mathematics / Mathematics / Logic in computer science / Mathematical logic

Procrastination in probabilistic logic Benja Fallenstein Background: Reflection in probabilistic logic Christiano et al. [?] have proposed a way of working around Tarski’s undefinability of truth by assigning probabili

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2014-05-19 14:38:20
763Pattern matching / Mathematics / Applied mathematics / Logic / String matching algorithms / Graphics file formats / Algorithm / Mathematical logic / Theoretical computer science

2D Dictionary Matching in Small Space

Add to Reading List

Source URL: schatzlab.cshl.edu

Language: English - Date: 2013-02-22 20:24:56
764Logic in computer science / Programming language semantics / Philosophical logic / Modal logic / Model checking / Denotational semantics / Peter Mosses / Temporal logic / Mereology / Theoretical computer science / Mathematical logic / Logic

BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-12-10 05:30:33
765Science / Artificial intelligence / Control engineering / Logic in computer science / Fuzzy control system / Defuzzification / Color layout descriptor / Information retrieval / Fuzzy set / Fuzzy logic / Logic / Mathematical logic

LNCSA Fuzzy Rank-Based Late Fusion Method for Image Retrieval

Add to Reading List

Source URL: www.aviarampatzis.com

Language: English - Date: 2012-03-11 14:11:53
766Accreditation / Knowledge / Epistemology / Mathematical logic / Publishing / Mathematical proof

GHM-accreditation guidelines

Add to Reading List

Source URL: www.ghm.de

Language: English - Date: 2014-10-17 10:22:24
767Science / Predicate logic / Axiom / Model theory / Eikos / Mathematical logic / Function / Claim / Mereology / Mathematics / Logic / Patent law

Microsoft Word - U006_eikos_language_system_description_v2.doc

Add to Reading List

Source URL: ucadia.s3.amazonaws.com

Language: English - Date: 2009-07-17 01:52:31
768Mathematical logic / Theoretical computer science / Tree automaton / Tree / Linear temporal logic / First-order logic / Finite-state machine / Context-free grammar / T-tree / Automata theory / Mathematics / Formal languages

An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2013-09-27 07:35:34
769Philosophical logic / Metalogic / Non-classical logic / Deduction / Model theory / Hybrid logic / Entailment / FO / Temporal logic / Logic / Mathematical logic / Modal logic

Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´

Add to Reading List

Source URL: www.glyc.dc.uba.ar

Language: English - Date: 2012-08-27 11:06:28
770Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Evolutionary algorithms / Mathematical optimization / Complexity / Genetic algorithm / Science / Applied mathematics / Operations research

STEM  APPLICATIONS  of  NATURAL  SELECTION     Here  are  some  items  that  provide  great  STEM  "hooks":  using  genetics  and  cumulative  natural  selecti

Add to Reading List

Source URL: www.indiana.edu

Language: English - Date: 2013-07-30 13:55:01
UPDATE